$\forall$${\it poss}$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}). possible{-}event\{i:l\}(${\it poss}$) $\in$ $\mathbb{P}$\{i'\}